Nuprl Definition : or
9,38
postcript
pdf
P
Q
==
P
+
Q
latex
Definitions
P
Q
origin
Q == P + Q Q == P + Q Q